Перевод: с английского на все языки

со всех языков на английский

Со всех языков на:
Английский
С английского на:
Русский

equational class

Толкование Перевод

1 equational class

мат. эквациональный класс

Большой англо-русский и русско-английский словарь > equational class
2 equational class

Математика: эквациональный класс

Универсальный англо-русский словарь > equational class
3 equational class

мат.

эквациональный класс

English-Russian scientific dictionary > equational class
4 equational

эквациональный - equational category - equational class - equational compactness - equational completeness - equational definability - equational equivalence - equational implication - equational logic - equational system - equational theor - equational undefinability

Большой англо-русский и русско-английский словарь > equational
5 class

1) класс; разряд; категория || классифицировать

2) качество; сорт

3) класс, группа ( в учебном заведении)

4) курс лекций, курс обучения

•

the senior class — последний год обучения

- abstract class

- abstraction class

- adjoint class

- almost universal class

- ambiguous class

- ambivalent class

- atomic class

- attainable class

- autodual class

- autoequivalence class

- axiomatizable class

- basic elementary class

- birational class

- bordism class

- canonical class

- canonically enumerable class

- categorical class

- central class

- characteristic class

- chromatic class

- class of accuracy

- class of classes

- class of finite subclasses

- class of game

- class of ship

- class of singularity

- closed class

- cobordism class

- cohomology class

- combinatorial class

- compatible class

- complete class

- completely simple class

- complex characteristic class

- complex class

- complexity class

- conceptual class

- conditional class

- conformal class

- conjugacy class

- consistent class

- constructible class

- contiguity class

- continuous class

- contraction of class

- contradictory class

- contrahomology class

- convergence class

- countable class

- crystal class

- cyclic class

- cyclotomic class

- deformation class

- density class

- denumerable class

- development class

- dichotomy class

- directed class

- discrete class

- disjunctively valid class

- divergence class

- divisor class

- elementarily closed class

- elementary class

- enumerably infinite class

- equational class

- equationally definable class

- equationally defined class

- ergodic class

- essential class

- essentially complete class

- exceptional class

- existential class

- exponential class

- extensional class

- factor class

- final class

- finite class

- finitely axiomatizable class

- functional class

- fundamental class

- general recursive class

- generalized inductive class

- generalized orientation class

- geometrical class

- grammatical class

- groundless class

- hereditary class

- hereditary class

- homomorphically closed class

- homotopy class

- hyperarithmetically independent class

- ideal class

- idele class

- improper class

- incompatibility class

- incongruent residue class

- inconsistent class

- indecomposable class

- indistinguishability class

- inductive class

- inductively ordered class

- inessential class

- integral cohomology class

- intersection class

- invariant class

- isobaric class

- isotopism class

- left class

- left-recursive class

- linear class

- linearly ordered class

- lineary independent class

- locally closed class

- locally defined class

- lower class

- maximal consistent class

- measure class

- minimal class

- modal class

- model class

- monotectonic class

- monotone class

- multiplicative class

- multiplicatively closed class

- negative class

- nil-isobaric class

- nilpotency class

- noncommunicating classes

- nonzero class

- normal class

- normalized class

- n-th homology class

- null class

- number class

- numerical class

- one-sided class

- open class

- open end class

- open sentence class

- open-and-closed class

- overload class

- pairwise-independent classes

- parametrization class

- partially ordered class

- pattern class

- periodic class

- pointed class

- polar class

- polarized class

- polytectonic class

- positive existential class

- precomplete class

- predicatively closed class

- preordered class

- primitive class

- principal class

- priority class

- projective class

- pseudoelementary class

- pure class

- qualitative class

- quality class

- quasianalytic class

- quasiaxiomatizable class

- quasiordered class

- quasiprimitive class

- quotient class

- rational cohomology class

- real characteristic class

- recursively enumerable class

- reducible class

- regular class

- relatively axiomatic class

- relatively axiomatizable class

- replete class

- replica complete class

- residue class

- right class

- right-recursive class

- saturated class

- saturation class

- second number class

- self-dual class

- semiinductive class

- senior class

- separating class

- shape class

- singular class

- small class

- split class

- stable class

- standardized class

- state class

- strongly complete class

- strongly connected class

- sublocally defined class

- surface finish class

- symmetry class

- total class

- totally ordered class

- tourist class

- trace class

- transgressive cohomology class

- transitive class

- two-sided class

- type class

- ultimate class

- ultraclosed class

- uncorrelated class

- undetermined class

- uniformly definable class

- unitary cohomology class

- universal class

- universally axiomatizable class

- universally existential class

- upper class

- valid class

- vanishing class

- virtual class

- weakly complete class

- weakly connected class

- weight class

- winding class

English-Russian scientific dictionary > class
6 эквациональный класс

мат. equational class

Большой англо-русский и русско-английский словарь > эквациональный класс
7 logic

1) логика || логический

2) вчт логические схемы, логика

3) логический блок; логический узел

•

logic with identity — логика с тождеством

logic without identity — логика без тождества

- algebraic logic

- applied logic

- auxiliary logic

- bivalent logic

- cellular logic

- class logic

- classical logic

- classical propositional logic

- commodity logic

- continuous logic

- countably complete logic

- decision logic

- decoding logic

- deductive logic

- derivative logic

- deterministic logic

- dialectical logic

- digitizing logic

- dual logic

- dyadic logic

- dynamic logic

- elementary logic

- empirical logic

- equational logic

- extended logic

- extensional logic

- external logic

- feature logic

- finite-valued logic

- first-order logic

- free logic

- fuzzy logic

- general modal logic

- generalized logic

- generalized stochastic logic

- heuristic logic

- imperative logic

- implicational logic

- inductive logic

- inductively generated logic

- infinitary logic

- infinite-valued logic

- intensional logic

- intermediate logic

- intrinsic logic

- intuitionistic logic

- iterative logic

- lattice-theoretic logic

- limit logic

- logic of certainty

- logic of evidence

- logic of existence

- logic of higher order

- logic of modalities

- logic of norms

- logic of part

- logic of preference

- logic of strict implication

- logic of truth

- logic of verification

- logic of whole

- minimal logic

- modal logic

- monadic logic

- multivalued logic

- natural logic

- nonclassical logic

- nonconstructive logic

- nonmonotonic logic

- normative logic

- n-valued logic

- object logic

- orthodox logic

- polyvalent logic

- positive logic

- predicate logic

- projectively generated logic

- propositional logic

- pure logic

- quantificational logic

- quite full logic

- reduced logic

- redundant logic

- search logic

- semicomplete logic

- sentential logic

- separable logic

- set-theoretic predicate logic

- shielded

- situational logic

- static logic

- stochastic logic

- strict logic

- strongly strict logic

- superintuitionistic logic

- switching logic

- syllogistic logic

- system logic

- technical logic

- tense logic

- three-level logic

- three-valued logic

- topological logic

- traditional logic

- transforming logic

- trivalent logic

- unordered logic

- unorthodox logic

- unspecialized logic

English-Russian scientific dictionary > logic

См. также в других словарях:

Variety (universal algebra) — This article is about a class of algebraic structures of the same signature. For the set of solutions to a system of polynomial equations, see Algebraic variety. In mathematics, specifically universal algebra, a variety of algebras is the class… … Wikipedia
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Residuated lattice — In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x le; y and a monoid x • y which admits operations x z and z / y loosely analogous to division or implication when x • y is viewed as… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Universal algebra — (sometimes called general algebra) is the field of mathematics that studies algebraic structures themselves, not examples ( models ) of algebraic structures.For instance, rather than take particular groups as the object of study, in universal… … Wikipedia
Monoid — This article is about the mathematical concept. For the alien creatures in the Doctor Who adventure, see The Ark (Doctor Who). Coherence law for monoid unit In abstract algebra, a branch of mathematics, a monoid is an algebraic structure with a… … Wikipedia
Curry–Howard correspondence — A proof written as a functional program: the proof of commutativity of addition on natural numbers in the proof assistant Coq. nat ind stands for mathematical induction, eq ind for substitution of equals and f equal for taking the same function… … Wikipedia
ʾIʿrab — ʾIʿrāb (إﻋﺮﺍﺏ IPA: [ʔiʕraːb]) is an Arabic term for the system of nominal and adjectival suffixes of Classical Arabic. These suffixes are written in fully vocalized Arabic texts, notably the Qurʾān or texts written for children or Arabic… … Wikipedia
Otomi language — Otomi Hñähnü, Hñähño, Hñotho, Hñähü, Hñätho, Yųhų, Yųhmų, Ñųhų, Ñǫthǫ, Ñañhų Otomi market … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia

Словари и энциклопедии на Академике

Перевод: с английского на все языки

equational class

См. также в других словарях:

Поделиться ссылкой на выделенное

Словари и энциклопедии на Академике

Перевод: с английского на все языки

equational class

См. также в других словарях:

Поделиться ссылкой на выделенное

Прямая ссылка: